α-Irresoluteness and α-compactness based on continuous valued logic
نویسندگان
چکیده
منابع مشابه
α- separation axioms based on Lukasiewicz logic
In the present paper, we introduce topological notions defined by means of α-open sets when these are planted into the framework of Ying’s fuzzifying topological spaces (by Lukasiewicz logic in [0, 1]). We introduce T 0 −, T 1 −, T 2 (αHausdorff)-, T 3 (α-regular)and T 4 (αnormal)-separation axioms. Furthermore, the R 0− and R 1− separation axioms are studied and their relations with the T 1 − ...
متن کاملMulti-ary Α-semantic Resolution Automated Reasoning Based on a Lattice-valued Proposition Logic Lp(x)
This paper focuses on multi-ary α-semantic resolution automated reasoning method based on multi-ary α-resolution principle for lattice-valued propositional logic LP(X) with truth-value in lattice implication algebras. The definitions of the multi-ary α-semantic resolution and multi-ary α-semantic resolution deduction in lattice-valued propositional logic LP(X) are given, respectively, and the s...
متن کاملDetermination of α -Resolution for Lattice-Valued First-Order Logic Based on Lattice Implication Algebra
As a continuation of our research work on resolutionbased automated reasoning approaches for latticevalued logic systems with truth-values in a latticevalued logical algebraic structure – lattice implication algebra (LIA), in the present paper, we prove thatα resolution for lattice-valued first-order logic ( ) LF X based on LIA can be equivalently transformed into that for lattice-valued propos...
متن کاملα-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Logic
Based on the general form of -resolution principle for a lattice-valued logic with truth-values defined in a latticevalued logical algebra structure lattice implication algebra, the further extended -resolution method in this lattice-valued logic is discussed in the present paper in order to increase the efficiency of the resolution method. Firstly, -quasi-lock semantic resolution method in lat...
متن کاملA New Form of Fuzzy Α-compactness
Abstract. A new form of α-compactness is introduced in L-topological spaces by α-open L-sets and their inequality where L is a complete de Morgan algebra. It doesn’t rely on the structure of the basis lattice L. It can also be characterized by means of α-closed L-sets and their inequality. When L is a completely distributive de Morgan algebra, its many characterizations are presented and the re...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Egyptian Mathematical Society
سال: 2012
ISSN: 1110-256X
DOI: 10.1016/j.joems.2012.08.010